Nuprl Definition : rmsg
0,22
postcript
pdf
rmsg(
info
;
val
;
e
) == msg(link(
e
);rtag(
info
;
e
);
val
(
e
))
latex
clarification:
rmsg(
info
;
val
;
e
) == msg(link(
info
;
e
);rtag(
info
;
e
);
val
(
e
))
latex
Definitions
msg(
l
;
t
;
v
)
,
link(
e
)
,
rtag(
info
;
e
)
,
f
(
a
)
FDL editor aliases
rmsg
origin